#ifndef USERTHREAD_H
#define USERTHREAD_H

#include "copyright.h"

typedef struct
{
	int f;
	int arg;
}UserThreadArgs;



extern int do_UserThreadCreate(int f, int arg);
extern void do_UserThreadExit();
extern void do_UserThreadJoin(int tid);
static void StartUserThread(int f);
#endif
